TAGs: Number line inequalities